检索结果

Select

1. 方块苗文动态构造方法的形式化描述

莫礼平周恺卿

计算机应用 2014, 34 (3): 861-864. DOI: 10.11772/j.issn.1001-9081.2014.03.0861

摘要（368）

PDF （746KB）（343）

针对如何在计算机中生成和显示方块苗文的问题，提出了一种方块苗文动态构造方法，给出了该方法的基本原理，定义了实现方块苗文动态构造所需要的操作符，并以谓词规则的形式对方块苗文动态构造变换操作进行了描述。该方法仅需存储方块苗文构件及独体字的显现字符，通过对显现字符进行上下组合、左右组合、侧围组合来实现方块苗文的动态构造，为方块苗文字库中字形构件提取及合体字自动生成技术提供了重要支持。

相关文章 | 多维度评价

Select

2. 带抑制弧Petri网的保性变换

莫礼平乐晓波周恺卿张兆海

计算机应用 2012, 32 (11): 3071-3074. DOI: 10.3724/SP.J.1087.2012.03071

摘要（1036）

PDF （596KB）（367）

Petri 网的保性化简是Petri网分析的一种重要途径。带抑制弧的增广Petri网在计算能力上与图灵机等价。针对带抑制的增广Petri网中串联变迁和串联库所两类情况进行了较深入的分析,在给出了相关化简方法的基础上，证明了通过这些化简规则所得到的网系统与原网在活性、有界性、弱公平性等动态性质上仍保持一致。

参考文献 | 相关文章 | 多维度评价

Select

3. Petri网化简技术的动态特性研究

闫博钊乐晓波周恺卿莫礼平

计算机应用 2011, 31 (06): 1641-1644. DOI: 10.3724/SP.J.1087.2011.01641

摘要（1243）

PDF （486KB）（596）

对于大而复杂的Petri网，“节点过多，状态爆炸”一直是阻碍其技术发展的主要问题，因此，如何有效地简化Petri网一直是Petri网研究领域的一个研究热点。将Petri网简化为若干子网是一个很有效的方法。提出了库所指标概念，根据该指标，给出了Petri网的分解定义，并给出了相关算法。在此基础上，依据所给出的算法研究化简技术的动态特性，将子网与原网的特性对应起来进行研究，为复杂系统的Petri网的分析提供了一种有效的途径。